Artificial Intelligence System - PDFSEARCH.IO - Document Search Engine

Artificial Intelligence System
Results: 1476

#	Item
841	Logic and Agent Programming Languages Natasha Alechina School of Computer Science University of Nottingham [removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 16:53:25 2APL AgentSpeak Procedural reasoning system Belief–desire–intention model Reasoning system Intelligent agent Production system Automated planning and scheduling Logic programming Artificial intelligence Multi-agent systems Computing
842	Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Artificial intelligence Formal languages Models of computation Logic programming Logical syntax Intelligent agent Production system Well-formed formula Agent-based model Logic Mathematics Science
843	Verifying time, memory and communication bounds in systems of reasoning agents Natasha Alechina, Brian Logan, Nguyen Hoang Nga and Abdur Rakib∗ School of Computer Science University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Deduction Propositional calculus Mathematical logic Artificial intelligence Logical syntax Epistemic modal logic Reasoning system Entailment Formula Logic Science Mathematics
844	VIRGINIA STANDARDS OF LEARNING Spring 2007 Released Test GRADE 3 HISTORY AND SOCIAL SCIENCE Add to Reading List Source URL: www.washingtonpost.com Language: English - Date: 2009-05-27 14:16:30 Software architecture Thomas Jefferson Politics of the United States United States Virginia Artificial intelligence Blackboard system
845	Classifying Sketches of animals using an Agent-Based System Graham Mackenzie and Natasha Alechina Nottingham University, Nottingham, NG8 2BB, UK, [removed], WWW home page: http://www.cs.nott.ac.uk/∼gjm Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:51:03 Scientific modeling Science Artificial intelligence Knowledge Multi-agent systems Agent-based model Complex systems theory
846	TUSKEGEE UNIVERSITY COLLEGE OF ENGINEERING CHEMICAL ENGINEERING DEPARTMENT SPRING 2013 COURSE COURSE NUMBER Add to Reading List Source URL: www.tuskegee.edu Language: English - Date: 2013-01-18 17:35:52 Artificial intelligence Blackboard system Software architecture
847	PHOTOPAL: Companionship, Sharing and the Digital Echo Oli Mival, Brian O’Keefe, Jay Bradley, Nena Roa Seiler & David Benyon Centre for Interaction Design Napier University, Edinburgh, EH10 5DT [removed] - b. Add to Reading List Source URL: researchrepository.napier.ac.uk Language: English - Date: 2011-01-11 23:55:31 Virtual reality Human communication User interface techniques Dialog system Embodied agent User interface Human–computer interaction Interaction design Human factors Humanâ€“computer interaction Multimodal interaction Artificial intelligence
848	Hindawi Publishing Corporation Advances in Human-Computer Interaction Volume 2014, Article ID[removed], 13 pages http://dx.doi.org[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-05-08 03:40:00 Anatomy Artificial intelligence Face detection Facial Action Coding System Support vector machine Cross-validation Face Affective computing Computer facial animation Statistics Facial expressions Face recognition
849	The Scientific World Journal Special Issue on Biomimetic Approaches for Aerospace Engineering Applications CALL FOR PAPERS Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-11-26 02:32:25 Control theory Systems theory Logic in computer science Mathematical optimization Operations research Fuzzy logic Intelligent control Control system Aerospace engineering Artificial intelligence Science Cybernetics
850	Temporal Composite Actions with Constraints Patrick Doherty† Jonas Kvarnstr¨om† Andrzej Szałas†,‡ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-04-25 03:46:50 Epistemology Frame problem Knowledge representation Logic programming Science Dynamical system Symbol First-order logic Mathematical logic Logic Artificial intelligence

UPDATE